Improving WCET by Applying a WC Code Positioning Optimization Wankang Zhao, David Whalley Computer Science Department, Florida State University Christopher Healy Computer Science Department, Furman University

Source URL: www.cs.fsu.edu

Checked Load: Architectural Support for JavaScript Type-Checking on Mobile Processors Owen Anderson Emily Fortuna

Source URL: homes.cs.washington.edu

• Data types
• Assembly languages
• Computer performance
• Software optimization
• CPU cache
• Cache
• Type system
• Pointer
• Google Chrome
• Computing
• Software
• Computer architecture

In Search of Near-Optimal Optimization Phase Orderings Jack W. Davidson Prasad A. Kulkarni David B. Whalley Gary S. Tyson

Source URL: www.cs.fsu.edu

• Programming language implementation
• Mathematical optimization
• Computer performance
• Software optimization
• Program optimization
• Inline expansion
• Genetic algorithm
• Algorithm
• Loop tiling
• Computing
• Software
• Compiler optimizations

ACM-GIS’98 Preprint : Matching and Aligning Features in Overlayed Coverages J. Mark Ware and Christopher B. Jones Matching and Aligning Features in Overlayed Coverages J. Mark Ware and Christopher B. Jones

Source URL: users.cs.cf.ac.uk

• Combinatorial optimization
• Matching
• Graph
• Coverage data
• Mathematics
• Graph theory
• Theoretical computer science

A New Loop Optimizer for GCC Zdenˇek Dvoˇrák SuSE Labs , http://atrey.karlin.mff.cuni.cz/˜rakdver/ Abstract

Source URL: gcc.cybermirror.org

• Computer programming
• Loop optimization
• Control flow graph
• Loop unwinding
• Control flow
• For loop
• Infinite loop
• Loop unswitching
• Induction variable
• Compiler optimizations
• Computing
• Software engineering

Array Region Analyses and Applications Béatrice Creusillet Polyhedral School Saint-Germain-au-Mont-d’Or May 13-17, 2013

Source URL: labexcompilation.ens-lyon.fr

• Compiler optimizations
• Computer hardware
• Parallel computing
• Fortran
• OpenMP
• Loop optimization
• OpenCL
• Béatrice
• CUDA
• Computing
• GPGPU
• Computer programming

Sage Reference Manual: Sat Release 6.7 The Sage Development Team June 24, 2015

Source URL: doc.sagemath.org

• Operations research
• Mathematical optimization
• Numerical software
• Computer file formats
• Sage
• Lis
• Nl
• Solver
• Sol
• Mathematical software
• Software
• Theoretical computer science

A Comparative Study of Energy Minimization Methods for Markov Random Fields Richard Szeliski1 , Ramin Zabih2 , Daniel Scharstein3 , Olga Veksler4 , Vladimir Kolmogorov5, Aseem Agarwala6, Marshall Tappen7 , and Carsten Ro

Source URL: vision.middlebury.edu

• Image processing
• Segmentation
• Energy minimization
• Simulated annealing
• Belief propagation
• Mathematical optimization
• Algorithm
• Graph cuts in computer vision
• Operations research
• Mathematics
• Applied mathematics

Privacy Preserving Data Distribution in Outsourced Environments T.J.V.R.K.M.K. Sayi∗1 , R.K.N. Sai Krishna∗2 , R. Mukkamala3 , P.K. Baruah4 Sri Sathya Sai Institute of Higher Learning, Prasanthi Nilayam, India {1 sai

Source URL: www.hipc.org

• Graph coloring
• Combinatorial optimization
• FO
• Cut
• Theoretical computer science
• Graph theory
• Mathematics

A quad-tree based Sparse BLAS implementation for shared memory parallel computers Michele Martone Universit` a di Roma “Tor Vergata”, Italy

Source URL: claudius.ce.uniroma2.it

• Sparse matrix
• Loop nest optimization
• CPU cache
• Mathematics
• Parallel computing
• Matrix
• Memory hierarchy
• Rank
• Computer memory
• Computing
• Cache